<?php include'htmlheader.php' ?>
<?php
if(isset($_SESSION['username'])) {
  session_destroy();
};
?>
<SCRIPT LANGUAGE="JavaScript">parent.location="index.html"</SCRIPT>